From Chaotic Iteration to Constraint Propagation
نویسنده
چکیده
\Don't express your ideas too clearly. Most people think little of what they understand, and venerate what they do not." ABSTRACT We show how the constraint propagation process can be naturally explained by means of chaotic iteration.
منابع مشابه
A Distributed Chaotic Iteration Algorithm
This paper discusses distributed constraint propagation. We propose a generic distributed framework based on the notion of chaotic iteration. We prove correctness and implicit termination of our algorithm that apply to distributed constraint satisfaction problems, and also leads to sig-niicant speed-ups on distributions of constraint satisfaction problems.
متن کاملThe Essence of Constraint Propagation
We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a simple abstract framework that allows us to classify and compare these algorithms and to establish in a uniform way their basic properties. Note. This is a ...
متن کاملChaotic iteration for polynomial constraints
In this paper we argue for an alternative way of designing solvers based on interval arithmetic. We achieve constraint propagation over real numbers using chaotic iteration, a general and basic technique used for computing limits of iterations of nite sets of functions. This is carried out in two steps: rst involving computationally \cheap" functions for reducing constraint satisfaction problem...
متن کاملComputing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems
Box consistency has been observed to yield exponentially better performance than chaotic constraint propagation in the interval constraint system obtained by decomposing the original expression into primitive constraints. The claim was made that the improvement is due to avoiding decomposition. In this paper we argue that the improvement is due to replacing chaotic iteration by a more structure...
متن کاملConstraint Propagation
Constraint reasoning involves various types of techniques to tackle the inherent intractability of the problem of satisfying a set of constraints. Constraint propagation is one of those types of techniques. Constraint propagation is central to the process of solving a constraint problem, and we could hardly think of constraint reasoning without it. Constraint propagation is a very general conce...
متن کامل